Перевод: с английского на русский

с русского на английский

admissible system

См. также в других словарях:

  • Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

  • Flot admissible — Problème de flot maximum Un exemple de graphe de flot avec un flot maximum. la source est s, et le puits t. Les nombres indiquent le flot et la capacite. Le problème de flot maximum consiste a trouver un flot réalisable depuis une source unique… …   Wikipédia en Français

  • Nonholonomic system — A nonholonomic system in physics and mathematics is a system whose state depends on the path taken to achieve it. Such a system is described by a set of parameters subject to differential constraints, such that when the system evolves along a… …   Wikipedia

  • Court system of Canada — Canadian court system (Source Canadian Department of Justice) The court system of Canada is made up of many courts differing in levels of legal superiority and separated by jurisdiction. Some of the courts are federal in nature while others are… …   Wikipedia

  • Acceptable programming system — In the theory of computation in computer science, a programming system is a Gödel numbering of the set mathcal{T} of all Turing computable functions from mathbb{N} to mathbb{N}. The name derives from the numbering of mathcal{T} induced by a… …   Wikipedia

  • Controllability — is an important property of a control system, and the controllability property plays a crucial role in many control problems, such as stabilization of unstable systems by feedback, or optimal control. Controllability and observability are dual… …   Wikipedia

  • Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… …   Wikipedia

  • Miranda warning — The Miranda warning (also referred to as Miranda rights) is a warning that is required to be given by police in the United States to criminal suspects in police custody (or in a custodial interrogation) before they are interrogated to inform them …   Wikipedia

  • Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… …   Wikipedia

  • evidence — /ev i deuhns/, n., v., evidenced, evidencing. n. 1. that which tends to prove or disprove something; ground for belief; proof. 2. something that makes plain or clear; an indication or sign: His flushed look was visible evidence of his fever. 3.… …   Universalium

  • Brain fingerprinting — is a controversial forensic science technique that uses electroencephalography (EEG) to determine whether specific information is stored in a subject’s brain. It does this by measuring electrical brainwave responses to words, phrases, or pictures …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»